Total Books: 21 - 24 /24
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite
Transactions on Computational Systems Biology I
The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
Lire la suite
Transactions on Computational Systems Biology III
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
Lire la suite
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suite
